- idUS
- Listar por autor
Listar por autor "Durán Toro, Amador"
Mostrando ítems 1-20 de 66
-
Ponencia
A Controlled Experiment for Evaluating a Metric–Based Reading Technique for Requirements Inspection
Bernárdez Jiménez, Beatriz; Genero Bocco, Marcela; Durán Toro, Amador; Toro Bonilla, Miguel (IEEE Computer Society, 2004)Natural language requirements documents are often verified by means of some reading technique. Some recommendations for ...
-
Ponencia
A Controlled Experiment to Evaluate the Effects of Mindfulness in Software Engineering
Bernárdez Jiménez, Beatriz; Durán Toro, Amador; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (ACM, 2014)Context. Many reports support the fact that some psycho--social aspects of software engineers are key factors for the ...
-
Capítulo de Libro
A Family of Experiments to Evaluate the Effects of Mindfulness on Software Engineering Students: The MetaMind Dataset
Bernárdez Jiménez, Beatriz; Cruz Risco, Margarita; Durán Toro, Amador; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (Auerbach Publications, 2021)Context: Software Engineering students are often excellent developers although they may occasionally encounter difficulties ...
-
Artículo
A Quality-Aware Approach to Web Services Procurement
Martín Díaz, Octavio; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe; Durán Toro, Amador; Toro Bonilla, Miguel (Springer Verlag, 2003)Web services bring programmers a new way to develop advanced applications able to integrate any group of services on the ...
-
Ponencia
A Requirements Elicitation Approach Based in Templates and Patterns
Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (1999)One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood ...
-
Ponencia
A Template–Based Approach to Describing Metamorphic Relations
Segura Rueda, Sergio; Durán Toro, Amador; Troya Castilla, Javier; Ruiz Cortés, Antonio (IEEE Computer Society, 2017)Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different ...
-
Artículo
An Approach to Temporal-Aware Procurement of Web Services
Martín Díaz, Octavio; Ruiz Cortés, Antonio; Durán Toro, Amador; Müller Cejás, Carlos (Springer Verlag, 2005)In the context of web service procurement (WSP), temporal–awareness refers to managing service demands and offers which ...
-
Ponencia
An Aspect–Oriented Approach based on Multiparty Interactions to Specifying the Behaviour of a System
Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Pérez Castellanos, José Antonio; Durán Toro, Amador; Toro Bonilla, Miguel (Institut national de recherche en sciences et technologies du numérique (INRIA), 2000)Isolating computation and coordination concerns into separate pure computation and pure coordination enhances modularity, ...
-
Ponencia
An Automated Approach for Verification of Software Requirements
Durán Toro, Amador; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (2001)In this paper, we present an automated approach for the verification of software requirements. This approach is based on ...
-
Artículo
An empirical study to evaluate the impact of mindfulness on helpdesk employees
Bernárdez Jiménez, Beatriz; Panach Navarrete, José Ignacio; Parejo Maestre, José Antonio; Durán Toro, Amador; Juristo, Natalia; Ruiz Cortés, Antonio (ScienceDirect, 2023)Purpose: Mindfulness is a meditation technique whose main goal involves maintaining a calm mind and training attention by ...
-
Artículo
An Experimental Replication on the Effect of the Practice of Mindfulness in Conceptual Modeling Performance
Bernárdez Jiménez, Beatriz; Durán Toro, Amador; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (Elsevier, 2018)Context: Mindfulness is a meditation technique aimed to increase clearness of mind and awareness. In the 2013–2014 ...
-
Ponencia
An XML-Based Approach for the Automatic Verification of Software Requirements Specifications
Durán Toro, Amador; Bernárdez Jiménez, Beatriz; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (2001)In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ...
-
Ponencia
Applying System Families Concepts to Requirements Engineering Process Definition
Durán Toro, Amador; Benavides Cuevas, David Felipe; Bermejo, Jesús (Springer, 2003)In this paper, some experiences gained during the definition of a unified, common software development process for several ...
-
Ponencia
Applying XML technologies in Requirements Verification
Durán Toro, Amador; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (2002)In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ...
-
Tesis Doctoral
Una aproximación empírica al desarrollo de heurísticas basadas en métricas para verificación de requisitos
Bernárdez Jiménez, Beatriz (2004) -
Ponencia
Auditoría de procesos de negocio en la nube: persistencia mediante almacenes no relacionales
Cruz Risco, Margarita; Bernárdez Jiménez, Beatriz; Resinas Arias de Reyna, Manuel; Durán Toro, Amador (SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2012)Cada día crece el número de aplicaciones y servicios basados en la nube ofertados por proveedores tales como Amazon, ...
-
Artículo
Automated Error Analysis for the Agilization of Feature Modeling
Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Durán Toro, Amador; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Elsevier, 2008) -
Ponencia
Automated Generation of Metamorphic Relations for Query-Based Systems
Segura Rueda, Sergio; Alonso, Juan C.; Martín López, Alberto; Durán Toro, Amador; Troya Castilla, Javier; Ruiz Cortés, Antonio (IEEE Computer Society, 2022)Searching and displaying data based on user queries is a pervasive feature of most software applications such as information ...
-
Artículo
Automated metamorphic testing of variability analysis tools
Segura Rueda, Sergio; Durán Toro, Amador; Sánchez Jerez, Ana Belén; Le Berre, Daniel; Lonca, Emmanuel; Ruiz Cortés, Antonio (Wiley, 2015)Variability determines the capability of software applications to be configured and customized. A common need during the ...
-
Informe
Automated Metamorphic Testing on the Analysis of Software Variability: Technical Report ISA-2013-TR-03
Segura Rueda, Sergio; Durán Toro, Amador; Sánchez Jerez, Ana Belén; Le Berre, Daniel; Lonca, Emmanuel; Ruiz Cortés, Antonio (2013)Variability determines the ability of software applications to be configured and customized. A common need during the ...